🔬 programming language theory - abnv · Scour

Build a Compiler in Five Projects

kmicinski.com·21h

🎭Racket Modules

The Adventures of a Pythonista in Schemeland/28

artima.com·8h

🔧Scheme Macros

Revisiting Regular Types

abseil.io·8h

🚀Hindley-Milner+

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·12h

📊Pratt Parsers

How I Built My Project in Haskell

dev.to·7h·

Discuss: DEV

🌱Minimal Languages

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·2d·

Discuss: Hacker News

🌊Reactive Languages

Categorical systems theory

danmackinlay.name·3d

🔗Category Theory

Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education

arxiv.org·2d

🔍ML Language

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·15h·

Discuss: Hacker News, r/Compilers

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·8h

🗂️Type Indexing

On Linguistic Precision

blog.firedrake.org·22h

🧪Parser Testing

Circumstantial Complexity, LLMs and Large Scale Architecture

datagubbe.se·2h·

Discuss: Hacker News

🏰Capability Machines

Naughty is Nice!

yamlscript.org·1d

🧼Lisp Hygiene

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·15h

Rob Pike's Simple Regular Expressions

bruceediger.com·4h

🔤Regex Engines

Portable C Compiler

en.wikipedia.org·7h·

Discuss: Hacker News

📦Portable Bytecode

Language Server Protocol from Debug Symbols

forrestthewoods.com·8h

🌉Language Interop

Code only says what it does

brooker.co.za·4h·

Discuss: Hacker News

📚Self-Documenting Code

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·1d

Loading more...